%
% Copyright 2014, General Dynamics C4 Systems
%
% SPDX-License-Identifier: GPL-2.0-only
%

\apidoc
{debug_halt}
{Debug - Halt}
{Halt the system}
{static inline void seL4\_DebugHalt}
{
\param{void}{}{}
}
{\noret}
{Halts the system, if debugging is turned on.}
